1. All About Maude--A High-performance Logical Framewor
Author: / Manuel Clavel ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Rewriting systems (Computer science),Human information processing.
Classification :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
2. Bayesian Approach to Global Optimization :
Author: by Jonas Mockus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA402
.
5
B956
1989
3. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
